<html>
<head><meta charset="utf-8"><title>weekly meeting 2019-03-14 #54818 · t-compiler · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/index.html">t-compiler</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html">weekly meeting 2019-03-14 #54818</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="160773297"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160773297" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160773297">(Mar 14 2019 at 12:02)</a>:</h4>
<p>hi <span class="user-group-mention" data-user-group-id="897">@T-compiler/meeting</span> , our weekly meeting will be held in this topic area in about two hours</p>



<a name="160773321"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160773321" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160773321">(Mar 14 2019 at 12:03)</a>:</h4>
<p>I'm going to start the pre-triage process in <a href="#narrow/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-03-14.20.2354818/near/160773241" title="#narrow/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-03-14.20.2354818/near/160773241">another topic</a> on this stream.</p>



<a name="160773715"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160773715" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160773715">(Mar 14 2019 at 12:11)</a>:</h4>
<p>i just realized I forgot to actually reach out to any WG leads on tuesday</p>



<a name="160773741"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160773741" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160773741">(Mar 14 2019 at 12:11)</a>:</h4>
<p>so maybe we won't have any WG-checkins today, unless I find some volunteers in next ~100 minutes</p>



<a name="160773810"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160773810" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160773810">(Mar 14 2019 at 12:12)</a>:</h4>
<p>We discussed a working group check-in schedule in the <a class="stream" data-stream-id="185694" href="/#narrow/stream/185694-t-compiler.2Fwg-meta">#t-compiler/wg-meta</a> meeting and I threw this together (<a href="https://github.com/rust-lang/compiler-team/issues/37" target="_blank" title="https://github.com/rust-lang/compiler-team/issues/37">compiler-team#37</a>) at the weekend but there's been no discussion or review so I assume we won't be following it this week.</p>



<a name="160773841"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160773841" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160773841">(Mar 14 2019 at 12:12)</a>:</h4>
<p>The next <a class="stream" data-stream-id="185694" href="/#narrow/stream/185694-t-compiler.2Fwg-meta">#t-compiler/wg-meta</a> meeting is tonight so there will likely be a look at it then.</p>



<a name="160774022"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160774022" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160774022">(Mar 14 2019 at 12:15)</a>:</h4>
<p>According to that though, there's a wg-async-await and wg-llvm check-in (I just went around the list, so there's no particular reason for the order). wg-async-await had a meeting on Tuesday and there are notes from that which could be used in a check-in if we wanted.</p>



<a name="160774264"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160774264" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160774264">(Mar 14 2019 at 12:19)</a>:</h4>
<p>I like the idea of hearing from wg-async-await</p>



<a name="160774338"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160774338" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160774338">(Mar 14 2019 at 12:20)</a>:</h4>
<p>heck I like both of the suggestions for today from <a href="https://github.com/rust-lang/compiler-team/issues/37" target="_blank" title="https://github.com/rust-lang/compiler-team/issues/37">compiler-team#37</a></p>



<a name="160774364"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160774364" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160774364">(Mar 14 2019 at 12:21)</a>:</h4>
<p>hey <span class="user-mention" data-user-id="116009">@nikomatsakis</span> and <span class="user-mention" data-user-id="123586">@nagisa</span> , would you two be willing to provide WG-checkins today (for wg-async-await and wg-llvm, respectively) ?</p>



<a name="160774372"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160774372" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160774372">(Mar 14 2019 at 12:21)</a>:</h4>
<p>yep</p>



<a name="160777705"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160777705" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160777705">(Mar 14 2019 at 13:07)</a>:</h4>
<p>also, <span class="user-mention" data-user-id="116009">@nikomatsakis</span> , do you want to try to allocate time during either a steering or a triage meeting to figure out planning for <a href="https://github.com/rust-lang/rust/issues/58465" target="_blank" title="https://github.com/rust-lang/rust/issues/58465">#58465</a>? or should we switch to resolving that asynchronously?</p>



<a name="160781285"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160781285" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160781285">(Mar 14 2019 at 13:49)</a>:</h4>
<p><span aria-label="question" class="emoji emoji-2753" role="img" title="question">:question:</span>  request for volunteer to fix: "ICE on beta and nightly: <code>index out of bounds</code> in <code>RestoreSubsliceArrayMoveOut</code> MIR pass" <a href="https://github.com/rust-lang/rust/issues/59048" target="_blank" title="https://github.com/rust-lang/rust/issues/59048">#59048</a></p>



<a name="160782198"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160782198" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160782198">(Mar 14 2019 at 13:59)</a>:</h4>
<p><span aria-label="question" class="emoji emoji-2753" role="img" title="question">:question:</span> request for volunteer to fix: "Compiler panic when using a slice pattern" <a href="https://github.com/rust-lang/rust/issues/59016" target="_blank" title="https://github.com/rust-lang/rust/issues/59016">#59016</a></p>



<a name="160782420"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160782420" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160782420">(Mar 14 2019 at 14:00)</a>:</h4>
<p><span aria-label="question" class="emoji emoji-2753" role="img" title="question">:question:</span> request for volunteer to fix: "Building Firefox with rustc 1.34.0-nightly fails with LLVM ERROR: broken function found." <a href="https://github.com/rust-lang/rust/issues/58881" target="_blank" title="https://github.com/rust-lang/rust/issues/58881">#58881</a></p>



<a name="160782496"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160782496" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160782496">(Mar 14 2019 at 14:01)</a>:</h4>
<p>okay <del>high</del> <strong>hi</strong> <span class="user-group-mention" data-user-group-id="897">@T-compiler/meeting</span></p>



<a name="160782514"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160782514" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160782514">(Mar 14 2019 at 14:01)</a>:</h4>
<p>I didn't finish all the triage that I wanted but I don't want to delay further</p>



<a name="160782583"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160782583" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160782583">(Mar 14 2019 at 14:02)</a>:</h4>
<blockquote>
<p>also, <span class="user-mention silent" data-user-id="116009">nikomatsakis</span> , do you want to try to allocate time during either a steering or a triage meeting to figure out planning for <a href="https://github.com/rust-lang/rust/issues/58465" target="_blank" title="https://github.com/rust-lang/rust/issues/58465">#58465</a>? or should we switch to resolving that asynchronously?</p>
</blockquote>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> I don't think a triage meeting is really the right place. It's probably something we should talk about at the next steering meeting.</p>



<a name="160782599"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160782599" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160782599">(Mar 14 2019 at 14:02)</a>:</h4>
<p>which is next week, actually</p>



<a name="160782600"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160782600" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160782600">(Mar 14 2019 at 14:02)</a>:</h4>
<blockquote>
<p>It's probably something we should talk about at the next steering meeting.</p>
</blockquote>
<p>okay</p>



<a name="160782641"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160782641" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160782641">(Mar 14 2019 at 14:03)</a>:</h4>
<p>I've already added it to the list of <a href="https://hackmd.io/wsHwsi9zR3iq0ZF2SgEq9Q" target="_blank" title="https://hackmd.io/wsHwsi9zR3iq0ZF2SgEq9Q">steering meeting agenda ideas</a>, feel free to un-nominate</p>



<a name="160782648"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160782648" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160782648">(Mar 14 2019 at 14:03)</a>:</h4>
<p>so I was working my way through the nominated issues, as people can see on the <a href="#narrow/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-03-14.20.2354818/near/160773241" title="#narrow/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-03-14.20.2354818/near/160773241">pretriage topic</a></p>



<a name="160782683"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160782683" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nagisa <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160782683">(Mar 14 2019 at 14:03)</a>:</h4>
<p>Checkin for WG-llvm (since i won’t be able to participate in the meeting): <span class="user-mention" data-user-id="143663">@dlrobertson</span> has upstreamed some work in instcombine between satirating ops and regular ops. That’s all to my knowledge.</p>



<a name="160782693"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160782693" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160782693">(Mar 14 2019 at 14:03)</a>:</h4>
<p><span class="user-mention" data-user-id="123586">@nagisa</span> okay thanks</p>



<a name="160782776"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160782776" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> dlrobertson <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160782776">(Mar 14 2019 at 14:04)</a>:</h4>
<p><span class="user-mention" data-user-id="133224">@Nikita Popov</span> has also done some work</p>



<a name="160782802"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160782802" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160782802">(Mar 14 2019 at 14:04)</a>:</h4>
<p>Regarding the P-high issues, there are still a bunch I didn't look at, but only one of the ones remaining is unassigned is "ICE: Existential type (w/ and w/o NLL)" <a href="https://github.com/rust-lang/rust/issues/53598" target="_blank" title="https://github.com/rust-lang/rust/issues/53598">#53598</a></p>



<a name="160782826"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160782826" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160782826">(Mar 14 2019 at 14:04)</a>:</h4>
<p>so lets go ahead and put up another call-for-volunteer effort:</p>



<a name="160782856"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160782856" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160782856">(Mar 14 2019 at 14:05)</a>:</h4>
<p><span aria-label="question" class="emoji emoji-2753" role="img" title="question">:question:</span> request for volunteer to fix: "ICE: Existential type (w/ and w/o NLL)" <a href="https://github.com/rust-lang/rust/issues/53598" target="_blank" title="https://github.com/rust-lang/rust/issues/53598">#53598</a></p>



<a name="160782883"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160782883" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160782883">(Mar 14 2019 at 14:05)</a>:</h4>
<p>hmm. I'm not sure if this should be P-high or what</p>



<a name="160782896"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160782896" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160782896">(Mar 14 2019 at 14:05)</a>:</h4>
<p>If anyone is looking for a (hopefully self-contained) bug to fix, go ahead and skim the <span aria-label="question" class="emoji emoji-2753" role="img" title="question">:question:</span>s above</p>



<a name="160782969"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160782969" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160782969">(Mar 14 2019 at 14:06)</a>:</h4>
<p>(but I approve of this "request for volunteer to fix" idea, and I think we should probably try to raise the visibility on that)</p>



<a name="160782985"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160782985" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160782985">(Mar 14 2019 at 14:06)</a>:</h4>
<p>/me ponders a T-compiler twitter account :)</p>



<a name="160782986"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160782986" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160782986">(Mar 14 2019 at 14:06)</a>:</h4>
<blockquote>
<p>hmm. I'm not sure if this should be P-high or what</p>
</blockquote>
<p>you mean because of its dependence on <code>feature(existential_type)</code> ?</p>



<a name="160782996"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160782996" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160782996">(Mar 14 2019 at 14:06)</a>:</h4>
<p>Yes.</p>



<a name="160783016"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160783016" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160783016">(Mar 14 2019 at 14:06)</a>:</h4>
<p>I'm wondering if it might be reducable to something with <code>impl Trait</code> alone</p>



<a name="160783020"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160783020" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160783020">(Mar 14 2019 at 14:06)</a>:</h4>
<p>I feel like it's sort of a "this would be p-high for a WG working on trying to stabilize existential type, but no such WG exists"</p>



<a name="160783061"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160783061" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160783061">(Mar 14 2019 at 14:07)</a>:</h4>
<p>i.e., when we decide to make that a priority, it'd be good, and maybe we can "pre-triage" it a bit so that when that happens we're ready</p>



<a name="160783091"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160783091" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160783091">(Mar 14 2019 at 14:07)</a>:</h4>
<p>is stabilizing existential types in some form on the agenda for this year? or the next edition?</p>



<a name="160783155"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160783155" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160783155">(Mar 14 2019 at 14:08)</a>:</h4>
<p>I've been assuming it is, given the attention given to the proposed <code>type T = impl Trait;</code> syntax</p>



<a name="160783201"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160783201" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160783201">(Mar 14 2019 at 14:08)</a>:</h4>
<p>well in any case I gave it P-high assignment because, like I said, I worried it might represent a deeper <code>impl Trait</code> bug</p>



<a name="160783229"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160783229" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160783229">(Mar 14 2019 at 14:09)</a>:</h4>
<p>though I think I'm now realizing that this ... cannot be the case?</p>



<a name="160783270"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160783270" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160783270">(Mar 14 2019 at 14:09)</a>:</h4>
<blockquote>
<p>is stabilizing existential types in some form on the agenda for this year? or the next edition?</p>
</blockquote>
<p>I think it could be, yes, but we need to plan for that. (Which intersects this "pipelined compilation" question I was thinking about for steering meeting.)</p>



<a name="160783290"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160783290" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160783290">(Mar 14 2019 at 14:09)</a>:</h4>
<p>Basically the meta question is "how do we manage the resources we have". That was the original vision for what we would do in our steering meetings :)</p>



<a name="160783373"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160783373" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160783373">(Mar 14 2019 at 14:10)</a>:</h4>
<blockquote>
<p>well in any case I gave it P-high assignment because, like I said, I worried it might represent a deeper <code>impl Trait</code> bug</p>
</blockquote>
<p>Yeah, I don't know, I was assuming it had something to do with the specifics of where <code>impl Trait</code> appears</p>



<a name="160783395"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160783395" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160783395">(Mar 14 2019 at 14:10)</a>:</h4>
<p>er, that is, with using <code>existential type</code> in that particular position. I could be wrong. <span class="user-mention" data-user-id="124288">@oli</span> would probably have a good guess.</p>



<a name="160783473"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160783473" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160783473">(Mar 14 2019 at 14:11)</a>:</h4>
<p>yeah okay my quick immediate attempts to reduce to a simpler form using <code>impl Trait</code> alone did not do the trick</p>



<a name="160783511"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160783511" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160783511">(Mar 14 2019 at 14:11)</a>:</h4>
<p>so I'll now assume that this really is tied to <code>feature(existential_type)</code></p>



<a name="160783569"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160783569" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160783569">(Mar 14 2019 at 14:12)</a>:</h4>
<p>yes, impl trait is currently not usable in associated types</p>



<a name="160783595"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160783595" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160783595">(Mar 14 2019 at 14:12)</a>:</h4>
<p>which means I agree its not P-high, at least not until we see some sort of plan for stabilizing that feature</p>



<a name="160783604"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160783604" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160783604">(Mar 14 2019 at 14:12)</a>:</h4>
<p>existential types and using impl trait in associated types is equivalent</p>



<a name="160783618"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160783618" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160783618">(Mar 14 2019 at 14:12)</a>:</h4>
<p>it should be a blocker for stabilizing existential types</p>



<a name="160783627"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160783627" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160783627">(Mar 14 2019 at 14:12)</a>:</h4>
<p>but not P-high imo</p>



<a name="160783640"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160783640" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160783640">(Mar 14 2019 at 14:12)</a>:</h4>
<p>Thus, downgrading <a href="https://github.com/rust-lang/rust/issues/53598" target="_blank" title="https://github.com/rust-lang/rust/issues/53598">#53598</a> to P-medium, and adding as blocker to tracking issue for existential type feature.</p>



<a name="160783804"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160783804" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160783804">(Mar 14 2019 at 14:14)</a>:</h4>
<p>Okay so that's all the time I want to spend on P-high stuff for now</p>



<a name="160783816"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160783816" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160783816">(Mar 14 2019 at 14:14)</a>:</h4>
<p>lets see about the beta nominations</p>



<a name="160783830"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160783830" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160783830">(Mar 14 2019 at 14:14)</a>:</h4>
<p>/poll how does this work</p>
<ul>
<li>it does</li>
<li>it doesn't</li>
</ul>



<a name="160783885"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160783885" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> varkor <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160783885">(Mar 14 2019 at 14:15)</a>:</h4>
<p>one thing I noticed about polls last week is that they don't show up on mobile</p>



<a name="160783893"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160783893" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> varkor <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160783893">(Mar 14 2019 at 14:15)</a>:</h4>
<p>(and there's no indication there should be a poll)</p>



<a name="160783904"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160783904" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160783904">(Mar 14 2019 at 14:15)</a>:</h4>
<p>/poll "resolve: Account for new importable entities" <a href="https://github.com/rust-lang/rust/issues/59047" target="_blank" title="https://github.com/rust-lang/rust/issues/59047">#59047</a></p>
<ul>
<li><span aria-label="back" class="emoji emoji-1f519" role="img" title="back">:back:</span>  backport</li>
<li><span aria-label="stop" class="emoji emoji-1f91a" role="img" title="stop">:stop:</span>  do not backport</li>
</ul>



<a name="160783962"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160783962" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160783962">(Mar 14 2019 at 14:16)</a>:</h4>
<blockquote>
<p>one thing I noticed about polls last week is that they don't show up on mobile</p>
</blockquote>
<p>hmm seems bad</p>



<a name="160783964"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160783964" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160783964">(Mar 14 2019 at 14:16)</a>:</h4>
<p><span class="user-mention" data-user-id="121053">@varkor</span> oh no that is unfortunate. Do the emojis show up on mobile? And are they clickable by mobile clients?</p>



<a name="160783973"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160783973" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160783973">(Mar 14 2019 at 14:16)</a>:</h4>
<p>Yes</p>



<a name="160784010"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160784010" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> varkor <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160784010">(Mar 14 2019 at 14:16)</a>:</h4>
<p>okay, so checking again: the polls are now <em>visible</em> on mobile, but show up as bullet points (that can't be interacted with)</p>



<a name="160784023"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160784023" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> varkor <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160784023">(Mar 14 2019 at 14:16)</a>:</h4>
<p>so emoji reactions are best for now</p>



<a name="160784043"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160784043" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160784043">(Mar 14 2019 at 14:17)</a>:</h4>
<p>well maybe I can use emojis on the poll?</p>



<a name="160784134"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160784134" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160784134">(Mar 14 2019 at 14:18)</a>:</h4>
<p>oh dear does the poll also <em>not render</em> the emojis I put into the poll items? WTF...</p>



<a name="160784159"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160784159" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160784159">(Mar 14 2019 at 14:18)</a>:</h4>
<p>we gotta file some bugs about polls :)</p>



<a name="160784164"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160784164" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160784164">(Mar 14 2019 at 14:18)</a>:</h4>
<blockquote>
<p>oh dear does the poll also <em>not render</em> the emojis I put into the poll items? WTF...</p>
</blockquote>
<p>that's gotta be a bug</p>



<a name="160784177"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160784177" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160784177">(Mar 14 2019 at 14:18)</a>:</h4>
<p>so how are we doing this :)</p>



<a name="160784196"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160784196" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160784196">(Mar 14 2019 at 14:19)</a>:</h4>
<p>I guess we'll use emojis</p>



<a name="160784237"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160784237" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160784237">(Mar 14 2019 at 14:19)</a>:</h4>
<p>lets continue</p>



<a name="160784247"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160784247" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160784247">(Mar 14 2019 at 14:19)</a>:</h4>
<p>"Always emit unclosed delimiter diagnostics" <a href="https://github.com/rust-lang/rust/issues/58903" target="_blank" title="https://github.com/rust-lang/rust/issues/58903">#58903</a></p>



<a name="160784336"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160784336" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160784336">(Mar 14 2019 at 14:20)</a>:</h4>
<p>"Do not accidentally treat multi-segment meta-items as single-segment" <a href="https://github.com/rust-lang/rust/issues/58899" target="_blank" title="https://github.com/rust-lang/rust/issues/58899">#58899</a> (the first three commits)</p>



<a name="160784384"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160784384" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160784384">(Mar 14 2019 at 14:21)</a>:</h4>
<p>(by the way, if people would prefer a discussion period after each item, rather than me issuing them in sequence... well, i don't know if we have time for me to pause signfiicantly between each. I think best to just speak up, maybe.)</p>



<a name="160784394"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160784394" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vadim Petrochenkov <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160784394">(Mar 14 2019 at 14:21)</a>:</h4>
<p>(the first three commits)</p>



<a name="160784418"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160784418" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160784418">(Mar 14 2019 at 14:21)</a>:</h4>
<blockquote>
<p>(the first three commits)</p>
</blockquote>
<p>ah thanks for clarifying; edited accordingly.</p>



<a name="160784439"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160784439" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160784439">(Mar 14 2019 at 14:22)</a>:</h4>
<p>"Expand where negative supertrait specific error is shown" <a href="https://github.com/rust-lang/rust/issues/58861" target="_blank" title="https://github.com/rust-lang/rust/issues/58861">#58861</a></p>



<a name="160784554"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160784554" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160784554">(Mar 14 2019 at 14:22)</a>:</h4>
<blockquote>
<p>(the first three commits)</p>
</blockquote>
<p>am I correct <span class="user-mention" data-user-id="123856">@Vadim Petrochenkov</span> that <a href="https://github.com/rust-lang/rust/issues/58899" target="_blank" title="https://github.com/rust-lang/rust/issues/58899">#58899</a> seems to close a lot of regressions?</p>



<a name="160784696"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160784696" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160784696">(Mar 14 2019 at 14:24)</a>:</h4>
<p>It seems like a hefty diff (although I need to check which changes are due to just the 1st 3 commits, I guess) but also seems probably worthwhile, is why I ask.</p>



<a name="160784768"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160784768" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vadim Petrochenkov <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160784768">(Mar 14 2019 at 14:25)</a>:</h4>
<p>Many kinds of regressions, yes, but each kind is not too likely.<br>
Crater didn't find any regressions fixes.</p>



<a name="160784812"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160784812" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160784812">(Mar 14 2019 at 14:25)</a>:</h4>
<blockquote>
<p>(by the way, if people would prefer a discussion period after each item, rather than me issuing them in sequence... well, i don't know if we have time for me to pause signfiicantly between each. I think best to just speak up, maybe.)</p>
</blockquote>
<p>My vote: I like this way -- I think we should set "fixed time period" like this, e.g. 10-15 minutes to give people time to peruse, with the option to ask for more. =)</p>



<a name="160784875"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160784875" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160784875">(Mar 14 2019 at 14:26)</a>:</h4>
<p>what does "this way" mean</p>



<a name="160784890"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160784890" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160784890">(Mar 14 2019 at 14:26)</a>:</h4>
<p>I assume you mean "keep doing what you're doing"</p>



<a name="160784893"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160784893" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160784893">(Mar 14 2019 at 14:26)</a>:</h4>
<p>posting all the backports at the beginning</p>



<a name="160784900"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160784900" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160784900">(Mar 14 2019 at 14:26)</a>:</h4>
<p>okay</p>



<a name="160784902"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160784902" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160784902">(Mar 14 2019 at 14:26)</a>:</h4>
<p>to persue at our liesure</p>



<a name="160784917"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160784917" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160784917">(Mar 14 2019 at 14:26)</a>:</h4>
<p>I just feel like chats over zulip it's often hard to tell when we've waited "long enough"</p>



<a name="160784928"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160784928" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160784928">(Mar 14 2019 at 14:26)</a>:</h4>
<p>anyway it looks like people are generally in favor of backporting all of these</p>



<a name="160784955"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160784955" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160784955">(Mar 14 2019 at 14:27)</a>:</h4>
<p>luckily due to the daylight saving time disfunction I have extra time post meeting today to follow up on this stuff</p>



<a name="160784972"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160784972" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160784972">(Mar 14 2019 at 14:27)</a>:</h4>
<p>so lets move along and i'll tag them all after meeting is done</p>



<a name="160785000"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160785000" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mw <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160785000">(Mar 14 2019 at 14:27)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/58899" target="_blank" title="https://github.com/rust-lang/rust/issues/58899">#58899</a> seems pretty big for a backport</p>



<a name="160785028"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160785028" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160785028">(Mar 14 2019 at 14:27)</a>:</h4>
<blockquote>
<p><a href="https://github.com/rust-lang/rust/issues/58899" target="_blank" title="https://github.com/rust-lang/rust/issues/58899">#58899</a> seems pretty big for a backport</p>
</blockquote>
<p>even just the first three commits you mean, right?</p>



<a name="160785103"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160785103" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160785103">(Mar 14 2019 at 14:28)</a>:</h4>
<p>second commit is unit tests</p>



<a name="160785113"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160785113" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160785113">(Mar 14 2019 at 14:28)</a>:</h4>
<blockquote>
<p><a href="https://github.com/rust-lang/rust/issues/58899" target="_blank" title="https://github.com/rust-lang/rust/issues/58899">#58899</a> seems pretty big for a backport</p>
</blockquote>
<p>the third commit in particular is not small</p>



<a name="160785144"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160785144" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160785144">(Mar 14 2019 at 14:28)</a>:</h4>
<p>(which is why I was asking about the "magnitude" of changes fixed)</p>



<a name="160785151"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160785151" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160785151">(Mar 14 2019 at 14:28)</a>:</h4>
<p>yes. much may be mechanical?</p>



<a name="160785159"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160785159" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vadim Petrochenkov <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160785159">(Mar 14 2019 at 14:28)</a>:</h4>
<p>(Actually, the first three commits are no longer first, GitHub reordered all the things again.)</p>



<a name="160785164"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160785164" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160785164">(Mar 14 2019 at 14:28)</a>:</h4>
<p>I see lots of s/.name()/.ident_str()/</p>



<a name="160785180"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160785180" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160785180">(Mar 14 2019 at 14:29)</a>:</h4>
<blockquote>
<p>(Actually, the first three commits are no longer first, GitHub reordered all the things again.)</p>
</blockquote>
<p>Oh no!</p>



<a name="160785202"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160785202" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mw <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160785202">(Mar 14 2019 at 14:29)</a>:</h4>
<p>:)</p>



<a name="160785233"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160785233" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160785233">(Mar 14 2019 at 14:29)</a>:</h4>
<p>I think you need to provide more specific indication of your intentions then</p>



<a name="160785241"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160785241" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160785241">(Mar 14 2019 at 14:29)</a>:</h4>
<p>e.g. list the commits to cherry pick</p>



<a name="160785257"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160785257" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160785257">(Mar 14 2019 at 14:29)</a>:</h4>
<p>or even ... post the PR itself you're proposing for backport...?</p>



<a name="160785385"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160785385" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160785385">(Mar 14 2019 at 14:30)</a>:</h4>
<p>either of those would definitely be helpful:)</p>



<a name="160785400"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160785400" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vadim Petrochenkov <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160785400">(Mar 14 2019 at 14:30)</a>:</h4>
<blockquote>
<p>post the PR itself you're proposing for backport...?</p>
</blockquote>
<p>Yeah, I'll do that.<br>
I also realized that the PR breaks clippy and clippy cannot be broken on beta, so some removed APIs will also need to be resurrected.</p>



<a name="160785439"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160785439" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160785439">(Mar 14 2019 at 14:31)</a>:</h4>
<p>okay lets maybe table discussion of <a href="https://github.com/rust-lang/rust/issues/58899" target="_blank" title="https://github.com/rust-lang/rust/issues/58899">#58899</a> for now</p>



<a name="160785452"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160785452" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160785452">(Mar 14 2019 at 14:31)</a>:</h4>
<p>we won't approve that for back port this week</p>



<a name="160785456"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160785456" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160785456">(Mar 14 2019 at 14:31)</a>:</h4>
<p>but we won't explicitly reject it either</p>



<a name="160785457"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160785457" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160785457">(Mar 14 2019 at 14:31)</a>:</h4>
<p>sound okay?</p>



<a name="160785491"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160785491" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160785491">(Mar 14 2019 at 14:31)</a>:</h4>
<p>okay we don't have any <a href="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=+label%3Astable-nominated+label%3AT-compiler" target="_blank" title="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=+label%3Astable-nominated+label%3AT-compiler">stable backport nominations</a></p>



<a name="160785597"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160785597" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160785597">(Mar 14 2019 at 14:32)</a>:</h4>
<p>Oh!</p>



<a name="160785602"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160785602" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160785602">(Mar 14 2019 at 14:32)</a>:</h4>
<p>there is one P-high issue I did want to discuss</p>



<a name="160785645"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160785645" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160785645">(Mar 14 2019 at 14:33)</a>:</h4>
<p>or actually, its on the nominated list</p>



<a name="160785648"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160785648" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160785648">(Mar 14 2019 at 14:33)</a>:</h4>
<p>we'll get to it then</p>



<a name="160785723"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160785723" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160785723">(Mar 14 2019 at 14:34)</a>:</h4>
<p>the <a href="https://github.com/rust-lang/rust/labels/regression-from-stable-to-beta" target="_blank" title="https://github.com/rust-lang/rust/labels/regression-from-stable-to-beta">stable-to-beta regressions</a> look under control</p>



<a name="160785793"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160785793" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160785793">(Mar 14 2019 at 14:35)</a>:</h4>
<p>and I think i already touched on the <a href="https://github.com/rust-lang/rust/labels/regression-from-stable-to-nightly" target="_blank" title="https://github.com/rust-lang/rust/labels/regression-from-stable-to-nightly">stable-to-nightly</a> regressions either in my request-for-volunteers above or in the pre-triage topic</p>



<a name="160785813"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160785813" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160785813">(Mar 14 2019 at 14:35)</a>:</h4>
<p>under <a href="https://github.com/rust-lang/rust/pulls?q=is%3Aopen+is%3Apr+label%3AS-waiting-on-team+label%3AT-compiler" target="_blank" title="https://github.com/rust-lang/rust/pulls?q=is%3Aopen+is%3Apr+label%3AS-waiting-on-team+label%3AT-compiler">waiting for our team</a> there is still one issue</p>



<a name="160785829"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160785829" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160785829">(Mar 14 2019 at 14:35)</a>:</h4>
<p>namely "[do not merge] Measure performance impact of local interners" <a href="https://github.com/rust-lang/rust/issues/57214" target="_blank" title="https://github.com/rust-lang/rust/issues/57214">#57214</a></p>



<a name="160785909"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160785909" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160785909">(Mar 14 2019 at 14:36)</a>:</h4>
<p>there was a ping two weeks ago to Ping <span class="user-mention" data-user-id="119009">@eddyb</span>  <span class="user-mention" data-user-id="123586">@nagisa</span>  <span class="user-mention" data-user-id="116009">@nikomatsakis</span>  <span class="user-mention" data-user-id="116083">@pnkfelix</span>  Your vote is needed</p>



<a name="160785962"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160785962" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160785962">(Mar 14 2019 at 14:37)</a>:</h4>
<p>(I'm willing to give up a 5% memory increase to reduce our internal API complexity, yes. I'll go ahead and vote now)</p>



<a name="160785972"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160785972" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160785972">(Mar 14 2019 at 14:37)</a>:</h4>
<p>huh I thought I looked at all FCP items</p>



<a name="160785989"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160785989" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160785989">(Mar 14 2019 at 14:37)</a>:</h4>
<p>there's discussion in the ticket</p>



<a name="160786001"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160786001" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160786001">(Mar 14 2019 at 14:37)</a>:</h4>
<p>rfcbot doesn't show rfcbot polls</p>



<a name="160786011"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160786011" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160786011">(Mar 14 2019 at 14:37)</a>:</h4>
<p>it was way worse than 5% when I added local interners :P</p>



<a name="160786018"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160786018" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mw <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160786018">(Mar 14 2019 at 14:37)</a>:</h4>
<p><span class="user-mention" data-user-id="123586">@nagisa</span> raised concerns that we already use too much memory</p>



<a name="160786110"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160786110" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160786110">(Mar 14 2019 at 14:38)</a>:</h4>
<p>or at least I'm not sure, but 90-something% of all interned things had inference variables</p>



<a name="160786168"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160786168" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160786168">(Mar 14 2019 at 14:38)</a>:</h4>
<p>maybe we should dedicate some time to discuss this , but not on the fly?</p>



<a name="160786175"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160786175" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160786175">(Mar 14 2019 at 14:38)</a>:</h4>
<p>if we're moving towards more canonicalization, local interners seem less useful and maybe we can eventually get rid of inference variables</p>



<a name="160786189"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160786189" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mw <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160786189">(Mar 14 2019 at 14:38)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> this would be improved by removing regions from type inference, right?</p>



<a name="160786198"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160786198" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160786198">(Mar 14 2019 at 14:38)</a>:</h4>
<blockquote>
<p><span class="user-mention silent" data-user-id="123586">nagisa</span> raised concerns that we already use too much memory</p>
</blockquote>
<p>I think this is a fair point, but also I wonder if we should address this by focusing on reducing memory usage in specific cases</p>



<a name="160786203"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160786203" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160786203">(Mar 14 2019 at 14:38)</a>:</h4>
<p>I'm definitely for making progress in this area one way or another</p>



<a name="160786240"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160786240" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160786240">(Mar 14 2019 at 14:39)</a>:</h4>
<p>If I recall, at least in the past, we often had problems because of gigantic constants</p>



<a name="160786252"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160786252" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160786252">(Mar 14 2019 at 14:39)</a>:</h4>
<p>And we had planned to address that "once miri is better" and so forth</p>



<a name="160786255"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160786255" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160786255">(Mar 14 2019 at 14:39)</a>:</h4>
<p>a lot of the pieces are probably in place now?</p>



<a name="160786259"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160786259" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160786259">(Mar 14 2019 at 14:39)</a>:</h4>
<p>(not sure)</p>



<a name="160786294"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160786294" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160786294">(Mar 14 2019 at 14:40)</a>:</h4>
<p>that said, I agree with <span class="user-mention" data-user-id="123586">@nagisa</span> that we should be paying attention to this and looking for opportunities to improve.</p>



<a name="160786376"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160786376" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160786376">(Mar 14 2019 at 14:40)</a>:</h4>
<blockquote>
<p>maybe we should dedicate some time to discuss this , but not on the fly?</p>
</blockquote>
<p>yeah, it's an interesting question how to handle this change responsibly. I think there are strong reasons to do this that go beyond just simplifying the codebase (though that is a good one).</p>



<a name="160786392"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160786392" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160786392">(Mar 14 2019 at 14:40)</a>:</h4>
<p>miri has its own per-evaluation-local memory, so we only intern the result of an evaluation and even that one is deduplicated</p>



<a name="160786409"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160786409" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160786409">(Mar 14 2019 at 14:41)</a>:</h4>
<p>Okay. I don't know if the thursday meeting is best, or if <span class="user-mention" data-user-id="116009">@nikomatsakis</span> wants to dedicate time during steering meeting</p>



<a name="160786441"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160786441" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160786441">(Mar 14 2019 at 14:41)</a>:</h4>
<p>but maybe lets move along. I can leave this once again tagged as "waiting-on-team"</p>



<a name="160786464"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160786464" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160786464">(Mar 14 2019 at 14:41)</a>:</h4>
<p>because there's a <em>bunch</em> of <a href="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aopen%20label%3AT-compiler%20label%3AI-nominated%20" target="_blank" title="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aopen%20label%3AT-compiler%20label%3AI-nominated%20">nominated</a> issues</p>



<a name="160786530"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160786530" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160786530">(Mar 14 2019 at 14:42)</a>:</h4>
<p>I mentioned  "Specific code layout can cause compiler panic with lto=true" <a href="https://github.com/rust-lang/rust/issues/59137" target="_blank" title="https://github.com/rust-lang/rust/issues/59137">#59137</a> elsewhere</p>



<a name="160786565"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160786565" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160786565">(Mar 14 2019 at 14:42)</a>:</h4>
<p>it appears to potentially be due to interaction between dylib and lto</p>



<a name="160786568"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160786568" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mw <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160786568">(Mar 14 2019 at 14:42)</a>:</h4>
<p>yeah, that might be a regression</p>



<a name="160786577"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160786577" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160786577">(Mar 14 2019 at 14:42)</a>:</h4>
<blockquote>
<p>miri has its own per-evaluation-local memory, so we only intern the result of an evaluation and even that one is deduplicated</p>
</blockquote>
<p>(I think it had more to do with building a ton of MIR for very simple, but large constants)</p>



<a name="160786584"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160786584" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160786584">(Mar 14 2019 at 14:42)</a>:</h4>
<p>I want to know who should tackle it</p>



<a name="160786594"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160786594" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mw <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160786594">(Mar 14 2019 at 14:42)</a>:</h4>
<p>I'd like to fix it by removing support for Rust dylibs <code>:P</code></p>



<a name="160786610"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160786610" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160786610">(Mar 14 2019 at 14:42)</a>:</h4>
<blockquote>
<p>I'd like to fix it by removing support for Rust dylibs <code>:P</code></p>
</blockquote>
<p>... this does not sound realistic to me ...?</p>



<a name="160786657"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160786657" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mw <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160786657">(Mar 14 2019 at 14:43)</a>:</h4>
<p>I know <code>:/</code> (although <span class="user-mention" data-user-id="116015">@Alex Crichton</span> is on my side)</p>



<a name="160786678"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160786678" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160786678">(Mar 14 2019 at 14:43)</a>:</h4>
<p>but</p>



<a name="160786686"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160786686" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160786686">(Mar 14 2019 at 14:43)</a>:</h4>
<p>Is it very hard to fix, <span class="user-mention" data-user-id="124287">@mw</span> ?</p>



<a name="160786727"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160786727" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mw <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160786727">(Mar 14 2019 at 14:44)</a>:</h4>
<p>I don't know</p>



<a name="160786742"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160786742" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160786742">(Mar 14 2019 at 14:44)</a>:</h4>
<p>i did mention somewhere that maybe we <em>should</em> say that lto is incompatible with dylibs?</p>



<a name="160786765"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160786765" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mw <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160786765">(Mar 14 2019 at 14:44)</a>:</h4>
<p>but I guess you can assign it to me</p>



<a name="160786766"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160786766" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160786766">(Mar 14 2019 at 14:44)</a>:</h4>
<p>that at least sounds more reasonable than outright removing dylib support</p>



<a name="160786774"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160786774" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160786774">(Mar 14 2019 at 14:44)</a>:</h4>
<p>we can remove optimizations (e.g. metadata compression, if we still do that) from <code>dylib</code>s, and whatnot, but I don't think we can ever remove the crate type or break it</p>



<a name="160786813"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160786813" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160786813">(Mar 14 2019 at 14:44)</a>:</h4>
<p>Great I will assign to <span class="user-mention" data-user-id="124287">@mw</span> who will presumably brainwash us all into believing we can remove dylib support</p>



<a name="160786843"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160786843" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mw <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160786843">(Mar 14 2019 at 14:45)</a>:</h4>
<p>maybe we can deprecate them (and only use them in the compiler, if we have to)</p>



<a name="160786891"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160786891" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160786891">(Mar 14 2019 at 14:45)</a>:</h4>
<p>next nominated issue: "cargo fix --edition failure (probably macros related)" <a href="https://github.com/rust-lang/rust/issues/59065" target="_blank" title="https://github.com/rust-lang/rust/issues/59065">#59065</a></p>



<a name="160786954"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160786954" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160786954">(Mar 14 2019 at 14:46)</a>:</h4>
<p>(I know we are at the 45 minute mark. Lets spend 5 more minutes on nominations since we won't be hearing from WG-llvm today)</p>



<a name="160787000"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160787000" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160787000">(Mar 14 2019 at 14:47)</a>:</h4>
<p>i mentioned <a href="https://github.com/rust-lang/rust/issues/59065" target="_blank" title="https://github.com/rust-lang/rust/issues/59065">#59065</a> during <a href="#narrow/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-03-14.20.2354818/near/160778802" title="#narrow/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-03-14.20.2354818/near/160778802">pretriage</a></p>



<a name="160787020"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160787020" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160787020">(Mar 14 2019 at 14:47)</a>:</h4>
<p>it struck me as a likely <code>rustfix</code> bug of some kind</p>



<a name="160787053"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160787053" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160787053">(Mar 14 2019 at 14:47)</a>:</h4>
<p>where we are rewriting <code>Box&lt;dyn Trait&gt;</code> to <code>Box&lt;r#dyn Trait&gt;</code></p>



<a name="160787079"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160787079" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160787079">(Mar 14 2019 at 14:47)</a>:</h4>
<p>is <span class="user-mention" data-user-id="129356">@Zack M. Davis</span> around?</p>



<a name="160787149"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160787149" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160787149">(Mar 14 2019 at 14:48)</a>:</h4>
<p>I wonder if that is related to any of the changes <span class="user-mention" data-user-id="123856">@Vadim Petrochenkov</span> made?</p>



<a name="160787154"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160787154" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160787154">(Mar 14 2019 at 14:48)</a>:</h4>
<p>anyway <a href="https://github.com/rust-lang/rust/issues/59065" target="_blank" title="https://github.com/rust-lang/rust/issues/59065">#59065</a> needs prioritization</p>



<a name="160787169"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160787169" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160787169">(Mar 14 2019 at 14:48)</a>:</h4>
<p>i.e., in the "maybe backport" PR</p>



<a name="160787173"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160787173" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160787173">(Mar 14 2019 at 14:48)</a>:</h4>
<p>hmm maybe</p>



<a name="160787176"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160787176" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160787176">(Mar 14 2019 at 14:48)</a>:</h4>
<p>I'm only saying that because I saw mention of raw identifiers</p>



<a name="160787189"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160787189" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160787189">(Mar 14 2019 at 14:48)</a>:</h4>
<p>just a guess :)</p>



<a name="160787242"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160787242" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160787242">(Mar 14 2019 at 14:49)</a>:</h4>
<p>seems surprising</p>



<a name="160787250"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160787250" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160787250">(Mar 14 2019 at 14:49)</a>:</h4>
<p>yeah I'll say</p>



<a name="160787253"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160787253" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160787253">(Mar 14 2019 at 14:49)</a>:</h4>
<p>I mean, this doesn't look like "strange" code</p>



<a name="160787275"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160787275" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160787275">(Mar 14 2019 at 14:49)</a>:</h4>
<p>feels like we need to investigate this</p>



<a name="160787280"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160787280" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160787280">(Mar 14 2019 at 14:49)</a>:</h4>
<p>I would have thought it would have been hit during testing of <code>rustfix</code></p>



<a name="160787291"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160787291" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160787291">(Mar 14 2019 at 14:49)</a>:</h4>
<p>Okay lets make <a href="https://github.com/rust-lang/rust/issues/59065" target="_blank" title="https://github.com/rust-lang/rust/issues/59065">#59065</a> P-high then</p>



<a name="160787416"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160787416" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160787416">(Mar 14 2019 at 14:50)</a>:</h4>
<p>oh hmm the nightly they used is .. neither old nor new aadbc459b 2019-02-23</p>



<a name="160787432"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160787432" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160787432">(Mar 14 2019 at 14:50)</a>:</h4>
<p>I'm going to skip the nominated issues that I already posted volunteer requests for (the <span aria-label="question" class="emoji emoji-2753" role="img" title="question">:question:</span>-marked things)</p>



<a name="160787434"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160787434" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160787434">(Mar 14 2019 at 14:50)</a>:</h4>
<p>(I'm going to try and reproduce)</p>



<a name="160787484"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160787484" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160787484">(Mar 14 2019 at 14:51)</a>:</h4>
<p>I haven't made progress yet on "Incorporate RLS bug tracking into compiler team triage" <a href="https://github.com/rust-lang/rust/issues/58858" target="_blank" title="https://github.com/rust-lang/rust/issues/58858">#58858</a>; hopefully I will figure out a way to stuff that into our agenda by next week.</p>



<a name="160787525"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160787525" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160787525">(Mar 14 2019 at 14:51)</a>:</h4>
<p>next is "Derives on deprecated items generate deprecation warnings" <a href="https://github.com/rust-lang/rust/issues/58822" target="_blank" title="https://github.com/rust-lang/rust/issues/58822">#58822</a></p>



<a name="160787573"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160787573" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160787573">(Mar 14 2019 at 14:52)</a>:</h4>
<p>but I don't think that needs nomination, it seems like its under control</p>



<a name="160787604"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160787604" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160787604">(Mar 14 2019 at 14:52)</a>:</h4>
<p>sounds right</p>



<a name="160787611"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160787611" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160787611">(Mar 14 2019 at 14:52)</a>:</h4>
<p>so now the issue I wanted to talk about: "fn generated by macro exported from crate loses global #![allow(non_snake_case)]" <a href="https://github.com/rust-lang/rust/issues/58502" target="_blank" title="https://github.com/rust-lang/rust/issues/58502">#58502</a></p>



<a name="160787626"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160787626" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160787626">(Mar 14 2019 at 14:52)</a>:</h4>
<p>there's two points I wanted to bring up here</p>



<a name="160787665"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160787665" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160787665">(Mar 14 2019 at 14:53)</a>:</h4>
<p>1. sort of interesting: A change (and I think a <em>good</em> change) to the span for a lint actually can regress code</p>



<a name="160787707"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160787707" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160787707">(Mar 14 2019 at 14:53)</a>:</h4>
<p>due to the way that we filter out lints that are fired on code that originated from macro-expansions we got from other crates</p>



<a name="160787793"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160787793" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160787793">(Mar 14 2019 at 14:54)</a>:</h4>
<p>I spent some time (probably <strong>way</strong> too much time) investigating an architecture for mitigating this scenario</p>



<a name="160787834"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160787834" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160787834">(Mar 14 2019 at 14:54)</a>:</h4>
<blockquote>
<p>1. sort of interesting: A change (and I think a <em>good</em> change) to the span for a lint actually can regress code</p>
</blockquote>
<p>yeah, this was pretty interesting  to me</p>



<a name="160787839"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160787839" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160787839">(Mar 14 2019 at 14:54)</a>:</h4>
<p>i.e. finding a way to report such cases as warnings rather than errors, even when the user asked to <code>#[deny(..)]</code> the lint in question</p>



<a name="160787876"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160787876" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160787876">(Mar 14 2019 at 14:55)</a>:</h4>
<p>While I do think such an architecture is potentially interesting, its also not a good thing to invest time in unless we actually <em>want to use it</em></p>



<a name="160787904"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160787904" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160787904">(Mar 14 2019 at 14:55)</a>:</h4>
<p>in other words, would we actually want future changes to spans reported by lints to have a history to them</p>



<a name="160787974"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160787974" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160787974">(Mar 14 2019 at 14:56)</a>:</h4>
<p>where we track both the span(s) tracked by previous version(s) of the compiler, as well as the most current span that it flags</p>



<a name="160787977"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160787977" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160787977">(Mar 14 2019 at 14:56)</a>:</h4>
<p>the other option of course is not to change the span</p>



<a name="160788008"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160788008" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160788008">(Mar 14 2019 at 14:56)</a>:</h4>
<p>yes that is another option</p>



<a name="160788019"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160788019" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160788019">(Mar 14 2019 at 14:56)</a>:</h4>
<p>but probably not a great one?</p>



<a name="160788034"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160788034" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160788034">(Mar 14 2019 at 14:56)</a>:</h4>
<blockquote>
<p>in other words, would we actually want future changes to spans reported by lints to have a history to them</p>
</blockquote>
<p>this way of phrasing it sounds strange; but I guess another way to put it is that there is a span that determines the "lint allow/deny level"</p>



<a name="160788112"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160788112" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160788112">(Mar 14 2019 at 14:56)</a>:</h4>
<p>and that is (potentially) distinct from the span that is used in the print out?</p>



<a name="160788211"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160788211" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160788211">(Mar 14 2019 at 14:56)</a>:</h4>
<p>which...I don't know, sounds less bad :P but I guess it's equivalent</p>



<a name="160788259"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160788259" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160788259">(Mar 14 2019 at 14:57)</a>:</h4>
<p>in paricular I was imagining a world where we had rules and put a bit of thought into "what is the right span to determine the allow/deny" when it comes to macros etc</p>



<a name="160788285"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160788285" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160788285">(Mar 14 2019 at 14:57)</a>:</h4>
<blockquote>
<blockquote>
<p>in other words, would we actually want future changes to spans reported by lints to have a history to them</p>
</blockquote>
<p>this way of phrasing it sounds strange; but I guess another way to put it is that there is a span that determines the "lint allow/deny level"</p>
</blockquote>
<p>well i was more thinking of comparing whether the span has gone from "came from external crate" to "doesn't come from external crate", and downgrading from error to wanring in that case alone</p>



<a name="160788315"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160788315" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160788315">(Mar 14 2019 at 14:57)</a>:</h4>
<p>if I am understanding correctly, anyway, the problem here is that we had something like <code>fn $foo() { .. }</code> or whatever, and the old span was on <em>that</em> construct, and thus took its "allow/deny" levels more from the macro itself?</p>



<a name="160788318"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160788318" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160788318">(Mar 14 2019 at 14:58)</a>:</h4>
<p>which I do not think is equivalent to the (simpler?) idea that niko is putting forward</p>



<a name="160788385"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160788385" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160788385">(Mar 14 2019 at 14:58)</a>:</h4>
<p>(but now the span is on the <code>$foo</code> itself, and thus comes from the point where macro is applied?)</p>



<a name="160788389"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160788389" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160788389">(Mar 14 2019 at 14:58)</a>:</h4>
<blockquote>
<p>if I am understanding correctly, anyway, the problem here is that we had something like <code>fn $foo() { .. }</code> or whatever, and the old span was on <em>that</em> construct, and thus took its "allow/deny" levels more from the macro itself?</p>
</blockquote>
<p>this is what I originally thought, but its not quite that smple</p>



<a name="160788440"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160788440" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160788440">(Mar 14 2019 at 14:58)</a>:</h4>
<p>Its more that we have a blanket "don't bother reporting lints" when any part of the span originating from any external crate</p>



<a name="160788467"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160788467" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160788467">(Mar 14 2019 at 14:59)</a>:</h4>
<p>and it <strong>doesn't matter</strong> what the allow/warn/deny level was in that crate</p>



<a name="160788514"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160788514" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160788514">(Mar 14 2019 at 14:59)</a>:</h4>
<p>the thinking here is "client crates can't do anything anyway about the code that the external crate is providing, so there's no point in linting it"</p>



<a name="160788538"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160788538" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160788538">(Mar 14 2019 at 14:59)</a>:</h4>
<p>ugh we are almost out of time</p>



<a name="160788547"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160788547" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160788547">(Mar 14 2019 at 14:59)</a>:</h4>
<p>the second thing I wanted to note here</p>



<a name="160788617"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160788617" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160788617">(Mar 14 2019 at 15:00)</a>:</h4>
<blockquote>
<p>Its more that we have a blanket "don't bother reporting lints" when any part of the span originating from any external crate</p>
</blockquote>
<p>ok, but it still has to do with the span coming from the <code>fn $foo()</code> as a whole, and not just <code>$foo</code>?</p>



<a name="160788643"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160788643" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160788643">(Mar 14 2019 at 15:00)</a>:</h4>
<blockquote>
<blockquote>
<p>Its more that we have a blanket "don't bother reporting lints" when any part of the span originating from any external crate</p>
</blockquote>
<p>ok, but it still has to do with the span coming from the <code>fn $foo()</code> as a whole, and not just <code>$foo</code>?</p>
</blockquote>
<p>yes</p>



<a name="160788649"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160788649" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160788649">(Mar 14 2019 at 15:00)</a>:</h4>
<blockquote>
<p>ugh we are almost out of time</p>
</blockquote>
<p>I can <strong>very briefly</strong> update on the async-await WG</p>



<a name="160788653"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160788653" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160788653">(Mar 14 2019 at 15:00)</a>:</h4>
<p>The second thing I wanted to note is that due to mismanagement of <a href="https://github.com/rust-lang/rust/issues/58502" target="_blank" title="https://github.com/rust-lang/rust/issues/58502">#58502</a> (which I take responsibility for), this bug is actually in stable</p>



<a name="160788686"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160788686" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160788686">(Mar 14 2019 at 15:00)</a>:</h4>
<p>which means we need to decide whether this is worth fixing at all, and if so, is it worth a point release, etc.</p>



<a name="160788694"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160788694" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160788694">(Mar 14 2019 at 15:00)</a>:</h4>
<p>(I appreciated your timeline, btw, I think we should consider doing more postmortems like that)</p>



<a name="160788722"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160788722" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160788722">(Mar 14 2019 at 15:01)</a>:</h4>
<p>(though of course we should think about what we can do to alter our policy and make it less likely)</p>



<a name="160788725"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160788725" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160788725">(Mar 14 2019 at 15:01)</a>:</h4>
<p>but we don't need to talk about the fact it leaked to stable right now</p>



<a name="160788729"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160788729" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160788729">(Mar 14 2019 at 15:01)</a>:</h4>
<p>It can be worked around by macro defs by annotating the generated code, right?</p>



<a name="160788734"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160788734" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160788734">(Mar 14 2019 at 15:01)</a>:</h4>
<p>since I don't want to try to stuff it into -1 minutes.</p>



<a name="160788773"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160788773" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160788773">(Mar 14 2019 at 15:01)</a>:</h4>
<blockquote>
<p>It can be worked around by macro defs by annotating the generated code, right?</p>
</blockquote>
<p>yes, as long as one isn't using <code>#[forbid]</code>, I assume.</p>



<a name="160788835"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160788835" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160788835">(Mar 14 2019 at 15:02)</a>:</h4>
<p>well</p>



<a name="160788843"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160788843" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160788843">(Mar 14 2019 at 15:02)</a>:</h4>
<p>do you mean annotating the macro-invocatin</p>



<a name="160788859"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160788859" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160788859">(Mar 14 2019 at 15:02)</a>:</h4>
<p>or annotating the code generated within the macro itself?</p>



<a name="160788876"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160788876" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160788876">(Mar 14 2019 at 15:02)</a>:</h4>
<p>(actually I think either workaround works)</p>



<a name="160788893"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160788893" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160788893">(Mar 14 2019 at 15:02)</a>:</h4>
<blockquote>
<p>or annotating the code generated within the macro itself?</p>
</blockquote>
<p>this seems like the thing you would want to be able to do</p>



<a name="160788894"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160788894" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160788894">(Mar 14 2019 at 15:02)</a>:</h4>
<p>One thing I <em>am</em> going to do is post a test case I made that illustrates our behavior here</p>



<a name="160788937"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160788937" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160788937">(Mar 14 2019 at 15:03)</a>:</h4>
<blockquote>
<blockquote>
<p>ugh we are almost out of time</p>
</blockquote>
<p>I can <strong>very briefly</strong> update on the async-await WG</p>
</blockquote>
<p>maybe we can switch to this</p>



<a name="160788957"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160788957" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160788957">(Mar 14 2019 at 15:03)</a>:</h4>
<p>OK, well, this is a hard one. I'm <em>inclined</em> to let it go, under our general policy of not messing about with lints, but I feel like there is a need to be refining and documenting our regression procedure when we encounter such edge cases</p>



<a name="160788971"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160788971" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160788971">(Mar 14 2019 at 15:03)</a>:</h4>
<p>I can definitely see this irritating someone</p>



<a name="160788973"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160788973" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160788973">(Mar 14 2019 at 15:03)</a>:</h4>
<p>(people who want to discuss <a href="https://github.com/rust-lang/rust/issues/58502" target="_blank" title="https://github.com/rust-lang/rust/issues/58502">#58502</a> further are invited to post comments on that ticket)</p>



<a name="160789033"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160789033" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160789033">(Mar 14 2019 at 15:04)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span>  do you think <a href="https://github.com/rust-lang/rust/issues/58502" target="_blank" title="https://github.com/rust-lang/rust/issues/58502">#58502</a> is worth raising to T-lang ?</p>



<a name="160789036"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160789036" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160789036">(Mar 14 2019 at 15:04)</a>:</h4>
<p>But there is the "once it hits stable, you start risking making changes that undo the work that people did" etc</p>



<a name="160789069"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160789069" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160789069">(Mar 14 2019 at 15:04)</a>:</h4>
<p>I'm not sure, I feel like it's a grey area for sure. I don't know that I think lang needs to be involved in this.</p>



<a name="160789104"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160789104" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160789104">(Mar 14 2019 at 15:05)</a>:</h4>
<p>Though I think it may be worth at least talking about</p>



<a name="160789123"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160789123" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160789123">(Mar 14 2019 at 15:05)</a>:</h4>
<p>i.e., to bring awareness that we will want to at some point probably include the "active span" for the lint</p>



<a name="160789128"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160789128" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160789128">(Mar 14 2019 at 15:05)</a>:</h4>
<p>as part of its definition</p>



<a name="160789151"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160789151" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160789151">(Mar 14 2019 at 15:05)</a>:</h4>
<p>okay. It definitely has pushed me to be more aware of the consequences of a seemingly trivial change to spans</p>



<a name="160789155"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160789155" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160789155">(Mar 14 2019 at 15:05)</a>:</h4>
<p>I guess <span class="user-mention" data-user-id="116083">@pnkfelix</span> I think that having the ability to separate the "span for display" from the "span for allow/deny" feels...maybe useful.</p>



<a name="160789211"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160789211" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160789211">(Mar 14 2019 at 15:06)</a>:</h4>
<p>I'm sort of tempted to say we should have considered reverting the PR at that time.</p>



<a name="160789215"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160789215" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160789215">(Mar 14 2019 at 15:06)</a>:</h4>
<p>But not sure it's worth it now.</p>



<a name="160789221"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160789221" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160789221">(Mar 14 2019 at 15:06)</a>:</h4>
<p><em>Anyway</em></p>



<a name="160789253"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160789253" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160789253">(Mar 14 2019 at 15:06)</a>:</h4>
<p>the allow/deny should probably not be spans, but ids, but that's a different/tangential story</p>



<a name="160789283"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160789283" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160789283">(Mar 14 2019 at 15:06)</a>:</h4>
<p>should we just skip WG-checkin for this week?</p>



<a name="160789285"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160789285" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160789285">(Mar 14 2019 at 15:06)</a>:</h4>
<p>Yes</p>



<a name="160789307"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160789307" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160789307">(Mar 14 2019 at 15:07)</a>:</h4>
<blockquote>
<p>should we just skip WG-checkin for this week?</p>
</blockquote>
<p>Probably, I'll post one thing :)</p>



<a name="160789370"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160789370" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160789370">(Mar 14 2019 at 15:07)</a>:</h4>
<p>Async-await WG is working on closing out <strong>implementation issues</strong> around the async-await desugaring etc. The list is not <em>super long</em>, at least not of blockers. We've categorized the issues using <code>AsyncAwait-*</code> tags.</p>



<a name="160789395"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160789395" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160789395">(Mar 14 2019 at 15:07)</a>:</h4>
<p>You can see the <a href="https://github.com/rust-lang/compiler-team/blob/master/working-groups/async-await/NOTES.md#2019-03-12-triage-meeting" target="_blank" title="https://github.com/rust-lang/compiler-team/blob/master/working-groups/async-await/NOTES.md#2019-03-12-triage-meeting">current things we are working on in our NOTES file</a></p>



<a name="160789581"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160789581" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160789581">(Mar 14 2019 at 15:09)</a>:</h4>
<p>The biggest thing we have to think about I think -- one where it may be useful to get input from e.g. <span class="user-mention" data-user-id="119009">@eddyb</span> and <span class="user-mention" data-user-id="116466">@Zoxc</span> -- is thinking about how generators work. In particular, we have this "interior" type that defines the things captured by a generator, and it is currently created from the HIR and not the MIR, which introduces imprecisions. This can cause unexpected errors. There is <a href="#narrow/stream/187312-t-compiler.2Fwg-async-await/topic/generators.20and.20data.20across.20yields" title="#narrow/stream/187312-t-compiler.2Fwg-async-await/topic/generators.20and.20data.20across.20yields">some discussion about the best way to fix this already</a>, but I don't thnk we've really started discussing <em>in depth</em>. (In particular, a question is whether to use a  more refined HIR process, or to try and generate the MIR first.)</p>



<a name="160789675"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160789675" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160789675">(Mar 14 2019 at 15:10)</a>:</h4>
<p>The other thing is that <span class="user-mention" data-user-id="116107">@davidtwco</span> has been working on <a href="#narrow/stream/187312-t-compiler.2Fwg-async-await/topic/.2354716.20drop.20order" title="#narrow/stream/187312-t-compiler.2Fwg-async-await/topic/.2354716.20drop.20order">changing how the desugaring works to resolve some drop-order corner cases</a> and was encountering some challenges around the way that HIR handles function arguments -- we kind of need a way to refer to the "pre-pattern" function argument. But they've been busy with that and have a PR and everything that I've not really caught up on so maybe they resolved that somewhat.</p>



<a name="160789683"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160789683" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160789683">(Mar 14 2019 at 15:10)</a>:</h4>
<p>OK, fin, I think.</p>



<a name="160789712"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160789712" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160789712">(Mar 14 2019 at 15:11)</a>:</h4>
<p>okay great!</p>



<a name="160789728"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160789728" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160789728">(Mar 14 2019 at 15:11)</a>:</h4>
<p>bye everyone!</p>



<a name="160789863"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160789863" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160789863">(Mar 14 2019 at 15:12)</a>:</h4>
<blockquote>
<p>The other thing is that <span class="user-mention silent" data-user-id="116107">davidtwco</span> has been working on <a href="#narrow/stream/187312-t-compiler.2Fwg-async-await/topic/.2354716.20drop.20order" title="#narrow/stream/187312-t-compiler.2Fwg-async-await/topic/.2354716.20drop.20order">changing how the desugaring works to resolve some drop-order corner cases</a> and was encountering some challenges around the way that HIR handles function arguments -- we kind of need a way to refer to the "pre-pattern" function argument. But they've been busy with that and have a PR and everything that I've not really caught up on so maybe they resolved that somewhat.</p>
</blockquote>
<p>I think I'm 95% of the way there with this, it was working for a while (with the exception of a single test) but broke after a rebase. I've hit some walls trying to fix it. I'm also not super happy with the approach I've taken. So I'd appreciate any comments or thoughts <a href="#narrow/stream/187312-t-compiler.2Fwg-async-await/topic/.2354716.20drop.20order/near/160773594" title="#narrow/stream/187312-t-compiler.2Fwg-async-await/topic/.2354716.20drop.20order/near/160773594">in this Zulip thread</a>.</p>



<a name="160793166"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/weekly%20meeting%202019-03-14%20%2354818/near/160793166" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Zack M. Davis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/weekly.20meeting.202019-03-14.20.2354818.html#160793166">(Mar 14 2019 at 15:43)</a>:</h4>
<blockquote>
<p>is <span class="user-mention silent" data-user-id="129356">Zack M. Davis</span> around?</p>
</blockquote>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> Hi, sorry I missed the meeting; I'll likely have some rustc-dev time this weekend, but I was going to spend it on <a href="https://github.com/rust-lang/rust/issues/53934" target="_blank" title="https://github.com/rust-lang/rust/issues/53934">#53934</a> followup research</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>